Combining Texts

All the ideas for 'Truth-makers', 'fragments/reports' and 'Philosophy of Mathematics'

expand these ideas     |    start again     |     specify just one area for these texts

11 ideas

2. Reason / D. Definition / 8. Impredicative Definition
10882 Predicative definitions only refer to entities outside the defined collection [Horsten]
3. Truth / B. Truthmakers / 2. Truthmaker Relation
10911 Part-whole is the key relation among truth-makers [Mulligan/Simons/Smith]
3. Truth / B. Truthmakers / 5. What Makes Truths / a. What makes truths
10906 Moments (objects which cannot exist alone) may serve as truth-makers [Mulligan/Simons/Smith]
10907 The truth-maker for a sentence may not be unique, or may be a combination, or several separate items [Mulligan/Simons/Smith]
10909 Truth-makers cannot be the designata of the sentences they make true [Mulligan/Simons/Smith]
10912 Despite negative propositions, truthmakers are not logical complexes, but ordinary experiences [Mulligan/Simons/Smith]
3. Truth / C. Correspondence Truth / 3. Correspondence Truth critique
10908 Correspondence has to invoke facts or states of affairs, just to serve as truth-makers [Mulligan/Simons/Smith]
5. Theory of Logic / J. Model Theory in Logic / 2. Isomorphisms
10884 A theory is 'categorical' if it has just one model up to isomorphism [Horsten]
6. Mathematics / B. Foundations for Mathematics / 2. Proof in Mathematics
10885 Computer proofs don't provide explanations [Horsten]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
10881 The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten]
13. Knowledge Criteria / D. Scepticism / 3. Illusion Scepticism
2667 A false object might give the same presentation as a true one [Arcesilaus, by Cicero]